Nuclear power is considered essential to development
نویسندگان
چکیده
منابع مشابه
End-to-end tracing considered essential
Concurrency and complexity are major obstacles to understanding application performance in high-performance systems. We advocate end-to-end event tracing as the correct way to expose performance information for both human and automated analysis. We describe its advantages over traditional performance counter data, and illustrate its uses in performance visualization, prediction for capacity pla...
متن کاملProof Engineering Considered Essential
In this talk, I will give an overview of the various formal verification projects around the evolving seL4 microkernel, and discuss our experience in large-scale proof engineering and maintenance. In particular, the presentation will draw a picture of what these verifications mean and how they fit together into a whole. Among these are a number of firsts: the first code-level functional correct...
متن کاملEssential telangiectasia in an infant: a diagnosis to be considered.
Essential generalized telangiectasia as the result of postcapillary venule dilatation, is characterized by the sudden development of generalized telangiectasias, sometimes involving the conjunctiva. A few pediatric cases have been reported. The main condition in the differential diagnosis includes syndromes with telangiectasia such as hereditary hemorrhagic telangiectasia of Rendu-Osler, unilat...
متن کاملNuclear power Nuclear power development the challenge of the 1980 s
In pursuing my theme of Nuclear power development the challenge of the 1980s I will analyse the data that is available, mainly that stored in the International Atomic Energy Agency's computer, to forecast what will happen in the nuclear field during the decade which has just started. By the word challenge I want to underline the potential which nuclear energy possesses to contribute to the solu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Environmentalist
سال: 1983
ISSN: 0251-1088
DOI: 10.1016/s0251-1088(83)91054-9